semantic specification

[siˈmæntik ˌspesifiˈkeiʃən]
  • 释义

    [计] 语义描述,语义说明;

数据更新时间:2024-12-23 00:04:55
1、

The semantic of this specification is that a copy of the referenced object should be created, and assigned another name.

该规范的语义是应当创建已引用对象的一个副本,并指定另一个名称。

互联网摘选

2、

An Ontology-based Time Semantic Specification and Verification Approach for Web Service

一种基于Ontology的WEB服务时间约束定义及验证方法

互联网摘选

3、
4、

The method, which describes software specification in XYZ/ E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program.

该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值。

互联网摘选

5、

The approach analyzes the semantics of sequence diagrams and adds semantic constraint specification to generate testable model. Corresponding information is abstracted from the model to generate FSM.

该方法分析了时序图的语义信息并添加语义约束规约生成可测试模型,从中提取相关信息生成有限状态机;

互联网摘选

6、

Semantic Web-Oriented Specification of Logic Descriptive Primitives

面向语义Web的逻辑描述原语扩展

互联网摘选

7、

DTD is a grammar-based XML schema formalism, considering the structural constraints, a pattern-based schema formalism called XSCs can be combined with it, and the derived DTD provides a more a semantic rich specification.

DTD是一种基于语法的XML规范形式化定义,在考虑结构完整性约束时,一种基于pattern的XML规范形式化定义XSCs模式可以与其联合使用,使得生成的DTD具有更为丰富的语义。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • multiply[ˈmʌltɪplaɪ] vt.& vi.乘;(使)相乘;乘以;(使)增加;(使)繁殖;增殖;成倍增加;迅速增加adv.多重地;多样地;复合地;多倍地
  • fade[feɪd] v.变暗淡;褪色;逐渐消失;逐渐减弱;衰退,衰弱;
  • 受益无穷[shòu yì wú qióng] have unlimited benefits
  • AIDS[eɪdz] abbr.acquired immune deficiency syndrome 获得性免疫缺乏综合征(艾滋病);acute infectious diseases 急性传染病;aircraft integrated data system 飞行器集成数据系统;n.助手( aid的名词复数 );外援;辅助设备;帮助;
  • mega[ˈmeɡə] adj.宏大的;精彩的;巨大的;极佳的
  • river[ˈrɪvə(r)] n.河,江;溪,巨流;
  • purse[pɜːs] n.钱包,钱袋;财力,财源;和包或钱袋相似的东西;女用小提包;vt.使皱起,噘起;
  • mystery[ˈmɪstri] n.秘密,谜;奥秘;(宗教信仰的)奥义,奥秘,奥迹;;不可思议;神秘的人(或事物);神秘;神秘的事物;推理小说,推理剧;常作 mysteries 秘技,秘诀;(基督教的)圣餐礼;陌生而有趣的人(或事物);不可理解之事;疑案小说(或电影、戏剧);秘密的宗教仪式adj.神秘的;身份不明的
  • you had me at hello 你从最初就拥有我;你一进门就征服我了;第一次见面时你就拥有了我
  • free[fri:] adj. 自由的;免费的;免税的;空闲的;adv. 免费地;自由地,无拘束地;一帆风顺地;
  • line[laɪn] n.线条;皱纹;行,列;队伍;字行;对白;诗行;罚写;话语;绳;电话线;路线;铁轨;运输公司;轮廓;界线;防线;立场;方式;行业;种类;流水线;家系;排序;一条细线的可卡因;v.沿…排列成行;使有内衬;在…形成一层;
  • I will beat you 我会打败你的

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈